Skip to content

CPP: Update change notes.#1812

Closed
geoffw0 wants to merge 1 commit into
github:masterfrom
geoffw0:change_notes
Closed

CPP: Update change notes.#1812
geoffw0 wants to merge 1 commit into
github:masterfrom
geoffw0:change_notes

Conversation

@geoffw0

@geoffw0 geoffw0 commented Aug 24, 2019

Copy link
Copy Markdown
Contributor

No description provided.

@geoffw0 geoffw0 added C++ WIP This is a work-in-progress, do not merge yet! labels Aug 24, 2019
@geoffw0 geoffw0 changed the title CPP: Update and clean up change notes. CPP: Update change notes. Aug 24, 2019
@geoffw0 geoffw0 removed the WIP This is a work-in-progress, do not merge yet! label Aug 24, 2019
@geoffw0

geoffw0 commented Aug 24, 2019

Copy link
Copy Markdown
Contributor Author

Might be best if I fix this up after #1811 is merged?

@felicitymay

Copy link
Copy Markdown
Contributor

Sorry for the overlap @geoffw0. Would it be more efficient for you to edit my PR directly since it's a small change?

@geoffw0

geoffw0 commented Aug 24, 2019

Copy link
Copy Markdown
Contributor Author

Yep you're probably right.

@geoffw0 geoffw0 closed this Aug 24, 2019
geoffw0 added a commit to felicitymay/ql that referenced this pull request Aug 24, 2019
The changes aren't finished in this release, but there widespread enough we should acknowledge them.

Originally github#1812.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants